correctly access file extension via boost::filesystem
authorHeinrich Schuchardt <heinrich.schuchardt@canonical.com>
Mon, 16 Feb 2026 07:00:18 +0000 (07:00 +0000)
committerFrancesco Ballarin <ballarin@debian.org>
Mon, 16 Feb 2026 07:00:18 +0000 (07:00 +0000)
commit26c23a81d51b6db7e8c57cbdd7eafe982c160c2d
tree2e68523abbcd90d6fc353b1bc464b43761d82ad1
parent887cbfe6491adf425972f23ee585fb68eca30cfa
correctly access file extension via boost::filesystem

Extension() is a method for a path object.

Last-Update: 2025-09-22
Forwarded: https://bitbucket.org/fenics-project/mshr/pull-requests/19

Gbp-Pq: Name boost_filesystem_extension.patch
app/mshrable.cpp